Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14)

Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14)

Cyber-­Physical Systems (CPSs) consist of computers that are coupled tightly to a physical environment through sensors and actuators. Both the hybrid systems and the dynamics research communities have produced formal tools that are very important for rigorous design of CPSs, namely reachability analysis and validated numerics, respectively. Unfortunately, CPS designers encounter some challenges...

Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16)

Computational Intelligence for Software Engineering (NII Shonan Meeting 2014-13)

Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7)

Engineering Autonomic Systems (EASy) (NII Shonan Meeting 2012-3)